Alberto Verdejo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

SAE Technical Paper Series [SAE International WCX World Congress Experience - (APR. 10, 2018)] SAE Technical Paper Series - Model Predictive Control of Turbocharged Gasoline Engines for Mass Production

Bemporad, Alberto, Bernardini, Daniele, Long, Ruixing, Verdejo, Julian

Year:

2018

Language:

english

File:

PDF, 2.32 MB

english, 2018

2

CONSIDERATIONS ON URBAN AND BLOCK FORMATION OF THE OLD QUARTER IN CADIZ

Juan Ramon JIMENEZ VERDEJO,, Jesus Alberto PULIDO ARCAS,, FUNO, Shuji

Journal:

Journal of Architecture and Planning (Transactions of AIJ)

Year:

2015

Language:

english

File:

PDF, 2.93 MB

english, 2015

3

CONSIDERATIONS ON FORMATION AND TRANSFORMATION OF HOUSE TYPES IN THE OLD QUARTER OF CADIZ

JIMENEZ VERDEJO, Juan Ramon, PULIDO ARCAS, Jes&uacute, s Alberto, FUNO, Shuji

Journal:

Journal of Architecture and Planning (Transactions of AIJ)

Year:

2015

Language:

english

File:

PDF, 1.72 MB

english, 2015

4

Hybrid GMP-polyamine hydrogels as new biocompatible materials for drug encapsulation

GarcÃa-EspaÃ±a, Enrique, Lopera, Alberto, Aguilar, Juan A., Belda, Raquel, Verdejo, BegoÃ±a, Steed, Jonathan W

Journal:

Year:

2020

File:

PDF, 1.68 MB

2020

5

Deduction, Strategies, and Rewriting

Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 396 KB

english, 2007

6

A Distributed Implementation of Mobile Maude

Francisco Durán, Adrián Riesco, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

7

Modular Structural Operational Semantics with Strategies

Christiano Braga, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

8

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

Adrián Riesco, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

9

Strategies and simulations in a semantic framework

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

Journal:

Journal of Algorithms

Year:

2007

Language:

english

File:

PDF, 205 KB

english, 2007

10

A case study in abstraction using E-LOTOS and the FireWire

Carron Shankland, Alberto Verdejo

Journal:

Computer Networks

Year:

2001

Language:

english

File:

PDF, 239 KB

english, 2001

11

The Leader Election Protocol of IEEE 1394 in Maude

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 198 KB

english, 2000

12

Implementing CCS in Maude 2

Alberto Verdejo, Narciso Martí-Oliet

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 274 KB

english, 2004

13

A Conference Reviewing System in Mobile Maude

Francisco Durán, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 270 KB

english, 2004

14

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 168 KB

english, 2003

15

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS

Alberto Verdejo, Narciso Martí-Oliet

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 836 KB

english, 2005

16

Towards a Strategy Language for Maude

Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 393 KB

english, 2005

17

Playing with Maude

Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 284 KB

english, 2005

18

A Tutorial on Specifying Data Structures in Maude

Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 353 KB

english, 2005

19

Typed Mobile Ambients in Maude

Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 379 KB

english, 2006

20

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 386 KB

english, 2007

21

A Rewriting Semantics for Maude Strategies

Narciso Martí-Oliet, José Meseguer, Alberto Verdejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 362 KB

english, 2009

22

Executable structural operational semantics in Maude

Alberto Verdejo, Narciso Martí-Oliet

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 1005 KB

english, 2006

23

Vacunación antigripal en personas mayores

Gloria Mato Chaín, Alberto Mariano Lázaro, Florentina Alcudia Pérez, Carlos Verdejo Bravo

Journal:

Revista Española de Geriatría y Gerontología

Year:

2011

File:

PDF, 146 KB

2011

24

Rewriting logic bibliography by topic: 1990–2011

Martí-Oliet, Narciso, Palomino, Miguel, Verdejo, Alberto

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 935 KB

english, 2012

25

Declarative debugging of rewriting logic specifications

Riesco, Adrián, Verdejo, Alberto, Martí-Oliet, Narciso, Caballero, Rafael

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 1.59 MB

english, 2012

26

Emotional and non-emotional pathways to impulsive behavior and addiction

Torres, Ana, Catena, Andrés, Megías, Alberto, Maldonado, Antonio, Cándido, Antonio, Verdejo-García, Antonio, Perales, José C.

Journal:

Frontiers in Human Neuroscience

Year:

2013

Language:

english

File:

PDF, 1.61 MB

english, 2013

27

Compositional Specification in Rewriting Logic

MARTÍN, ÓSCAR, VERDEJO, ALBERTO, MARTÍ-OLIET, NARCISO

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 1.05 MB

english, 2019

28

Compositional Specification in Rewriting Logic

MARTÍN, ÓSCAR, VERDEJO, ALBERTO, MARTÍ-OLIET, NARCISO

Journal:

Theory and Practice of Logic Programming

Year:

2019

File:

PDF, 1.05 MB

2019

29

Analysis of the influence of the variables of the Fused Deposition Modeling (FDM) process on the mechanical properties of a carbon fiber-reinforced polyamide

de Toro, Elena Verdejo, Sobrino, Juana Coello, MartÃnez, Alberto MatÃnez, EguÃa, ValentÃn Miguel

Journal:

Procedia Manufacturing

Year:

2019

File:

PDF, 1.97 MB

2019

30

Influence of the chain length and metal:ligand ratio on the self-organization processes of Cu 2+ complexes of [1+1] 1H-pyrazole azamacrocycles

GarcÃa-EspaÃ±a, Enrique, Lopera, Alberto, Pitarch-Jarque, Javier, Verdejo, BegoÃ±a, Blasco, Salvador, Clares, Maria Paz, Jimenez, Hermas, Gil-MartÃnez, Ariadna

Journal:

Dalton Transactions

Year:

2020

File:

PDF, 3.97 MB

2020